{ longjmp (main_loop, status); }

int main (void) { while (1) if (setjmp (main_loop)) puts ("Back at main loop...."); else do_command (); }

void do_command (void) { char buffer[128]; if (fgets (buffer, 128, stdin) == NULL) abort_to_main_loop (-1); else exit (EXIT_SUCCESS); }


This document was generated on January 16, 2023 using texi2html 5.0.